Hoare logic - PDFSEARCH.IO - Document Search Engine

Hoare logic
Results: 111

#	Item
11	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computing Programming language theory Concurrency control Edsger W. Dijkstra Monitor Formal methods Hoare logic Event Semaphore Concurrent computing Pascal
12	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
13	Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Logic Theoretical computer science Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Hoare logic Predicate transformer semantics Permutation Closed and exact differential forms
14	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
15	Shallow embedding of a logic in Coq Jérôme Vouillon Universite Paris Diderot - Paris 7, CNRS Motivation Hoare-style assertions Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-28 10:05:14 Logic Logic in computer science Theoretical computer science Mathematical logic Separation logic Assertion Rule of inference
16	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Static program analysis Theoretical computer science Safety Computer security Safety case KeY Hoare logic Formal verification Proof-carrying code Hazard analysis Loop invariant
17	1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Formal methods Monitor Hoare logic Invariant Loop invariant Flag semaphore Variable ALGOL 68 Predicate transformer semantics
18	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Concurrency control Edsger W. Dijkstra Monitor Hoare logic Event Semaphore Concurrent computing Pascal XC Flag semaphore ALGOL 68 Unix signal
19	Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-03-13 08:30:05 Automated theorem proving Proof theory Symbol Sequent Substitution First-order logic Hoare logic Method of analytic tableaux Polar coordinate system
20	Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-07-02 20:30:42 Formal methods MapReduce Loop invariant Postcondition Apache Hadoop Control flow Hoare logic Generator Predicate transformer semantics KeY Infinite loop Const